LOGIC_THMS_tcom 12,41
Theorems of inituitionistic propositional and 
predicate logic. 

origin